Portal eduCapes: Buscando no repositório

Navegando por Autor Ayala Rincón, Mauricio

Mostrando resultados 1 a 4 de 4

Architectural specification, exploration and simulation through rewriting-logic
Ayala Rincón, Mauricio; Hartenstein, Reiner W.; Maya Neto, Rinaldi; Jacobi, Ricardo Pezzuol; Llanos Quintero, Carlos Humberto
31-Ago-2012
★★★★★ (0)
Explicit substitutions and all that
Ayala Rincón, Mauricio; Muñoz, César
5-Mar-2013
★★★★★ (0)
On automating the extraction of programs from termination proofs
Kamareddiney, Fairouz; Monin, François; Ayala Rincón, Mauricio
7-Mar-2013
★★★★★ (0)
Unification modulo Presburger Arithmetic and other decidable theories
Ayala Rincón, Mauricio; Araújo, Ivan Eid Tavares de
8-Mar-2013
★★★★★ (0)

Mostrando resultados 1 a 4 de 4